Communication Protocols Veriication with Esterel
نویسنده
چکیده
This work summarizes design, implementation and veriication processes of a digital telephone switchboard in the Esterel real-time programming environment. Our aim is to show the modularity in the description and of exibility the veriication process. We also show the control synchronization mechanisms to coordinate concurrent processes. The goal is to prevent in compile-time deadlock and lockout phenomena, a feature that is not available in most programming languages.
منابع مشابه
Semantics and Verification of Hierarchical CRP Programs
Communicating Reactive Processes (CRP) paradigm uniies asynchronous and synchronous mechanisms of concurrent programming languages. As an example, CRP uniies Esterel and Hoare's Communicating Sequential Processes (CSP). It has been earlier shown that such a uniication and in particular CRP can be used for the speciication of hybrid systems and dynamic real-time systems. In this paper, we extend...
متن کاملTailored Protocol Development Using ESTEREL
The rapid evolution of networking and the multiplication of new applications re-emphasizes the importance of the efficient communication supports. Implementations must be able to take maximal advantage of the details of applicationspecific semantics and of specific networking environments. In other words, the application needs to have more control over data transmission. Such control can be obt...
متن کاملA Translation of Statecharts to EsterelS
Statecharts and Esterel are two formalisms that have been widely used in the development of reactive systems. Statecharts are a powerful graphical formalism for system speciication. Esterel is a rich synchronous programming language with supporting tools for formal veriication. In this paper, we propose a translation of Statecharts to Esterel and discuss such an implementation. A characteristic...
متن کاملCommunication Protocols Development Using ESTEREL
The rapid evolution of networking and the multiplication of new applications re-emphasizes the importance of the efficient communication supports. Implementations must be able to take maximal advantage of the details of application-specific semantics and of specific networking environments. In other words, the application needs to have more control over data transmission. Such control can be ob...
متن کاملAutomated design of communication protocols using ESTEREL
The rapid evolution of networking and the multiplication of new applications re-emphasizes the importance of the efficient communication supports. Implementations must be able to take maximal advantage of the details of application-specific semantics and of specific networking environments. In other words, the application needs to have more control over data transmission. Such control can be ob...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007